@BOOK{penha:2005,
  AUTHOR    = {{Ricardo Pe\~{n}a}},
  TITLE     = {{Dise\~{n}o de Programas: Formalismo y Abstracci\'{o}n}},
  PUBLISHER = {Pearson Educacion},
  YEAR      = {2005},
  edition   = {3},
}

@BOOK{meyer:2000,
  AUTHOR    = {Bertrand Meyer},
  TITLE     = {{Construcci\'{o}n de Software Orientada a Objetos}},
  PUBLISHER = {Prentice Hall},
  YEAR      = {2000},
}

@BOOK{meyer:2009,
  AUTHOR    = {Bertrand Meyer},
  TITLE     = {{Touch of Class: Learning to Program Well with Objects and Contracts}},
  PUBLISHER = {Springer},
  YEAR      = {2009},
}

@BOOK{franch:1999,
  AUTHOR    = {Xavier Franch},
  TITLE     = {{Estructuras de Datos: Especificaci\'{o}n, Dise\~{n}o e Implementaci\'{o}n}},
  PUBLISHER = {Ediciones Universidad Polit\'{e}cnica de Catalu\~{n}a},
  YEAR      = {1999},
  edition   = {3},
}

@BOOK{aho:1988,
  AUTHOR    = {Alfred V. Aho, Jeffrey D. Ullman, and John E. Hopcroft},
  TITLE     = {{Estructuras de Datos y Algoritmos}},
  PUBLISHER = {Addison-Wesley},
  YEAR      = {1988},
}
